基于Web的科技信息管理系统

介绍了在Internet/Intranet上开发基于Web技术的科技信息管理系统。重点对系统核心技术进行了论述。     

参数化图形库技术

本文论述了参数化图形库的实现原理，建立了以尺寸叠加算法为基础的参数化图形库开发工具，利用这种开发工具建立的图形数据可以由数据库管理，方便有效。     

用金字塔图法匹配边界图象的三眼立体视觉方法

本文在分析了双眼立体视觉面临的本质困难之后，提出了用金字塔图法匹配特征基元的三眼立体视觉方法，这种方法由于建筑在透视投影几何原理的稳固基础上，无须任何先验限制，也不以图象相似性为基础，故可较好地解决精度与匹配难度的矛盾，且运用金字塔图法进行匹配传播使在保证精度的基础上，匹配速度大大提高，对计算机人工图象的匹配结果表明，误匹配率几乎为零，且有较高的匹配速度和精度。     

一个面向CAD／CAM的演绎数据库管理系统

演绎数据库管理系统ＤＥＤＢＭＳ是工程数据库管理系统ＥＤＢＭＳ／２中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。ＤＥＤＢＭＳ系统的开发，使ＥＤＢＭＳ／２不仅具有工程数据据管理功能，而且具有数据演绎和知识处理能力，从而成为ＣＡＤ／ＣＡＭ系统集成化和智能化的有力支撑工具。     

对分布式数据库发展方向的分析

本文对分布式数据库的设计方法、分割与分配技术作了一些探讨，并就分布式数据库的发展方向进行了初步分析。     

Management of multidimensional discrete data

Spatial database management involves two main categories of data: vector and raster data. The former has received a lot of in-depth investigation; the latter still lacks a sound framework. Current DBMSs either regard raster data as pure byte sequences where the DBMS has no knowledge about the underlying semantics, or they do not complement array structures with storage mechanisms suitable for huge arrays, or they are designed as specialized systems with sophisticated imaging functionality, but no general database capabilities (e.g., a query language). Many types of array data will require database support in the future, notably 2-D images, audio data and general signal-time series (1-D), animations (3-D), static or time-variant voxel fields (3-D and 4-D), and the ISO/IEC PIKS (Programmer's Imaging Kernel System) BasicImage type (5-D). In this article, we propose a comprehensive support ofmultidimensional discrete data (MDD) in databases, including operations on arrays of arbitrary size over arbitrary data types. A set of requirements is developed, a small set of language constructs is proposed (based on a formal algebraic semantics), and a novel MDD architecture is outlined to provide the basis for efficient MDD query evaluation.     

The aditi deductive database system

Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a deductive system based on the client-server model; it is inherently multi-user and capable of exploiting parallelism on shared-memory multiprocessors. The back-end uses relational technology for efficiency in the management of disk-based data and uses optimization algorithms especially developed for the bottom-up evaluation of logical queries involving recursion. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.     

Efficient Parallel Algorithms for Some Graph Theory Problems

In this paper,a sequential algorithm computing the aww vertex pair distance matrix D and the path matrix Pis given.On a PRAM EREW model with p,1≤p≤n^2,processors,a parallel version of the sequential algorithm is shown.This method can also be used to get a parallel algorithm to compute transitive closure array A^* of an undirected graph.The time complexity of the parallel algorithm is O(n^3/p).If D,P and A^* are known,it is shown that the problems to find all connected components,to compute the diameter of an undirected graph,to determine the center of a directed graph and to search for a directed cycle with the minimum(maximum)length in a directed graph can all be solved in O(n^2/p logp)time.     

井场信息系统建设体系结构

对井场钻井数据实时远程传输的研究和实践进行了总结,从数据远传作用、数据远传通信方式、数据通信网络体系结构、未来发展等几个方面对井场数据远程传输进行了探讨。     

大坝安全监控专家系统中的知识处理

在介绍产生式规则及其数学模型的基础上，论述了用成熟的关系数据库 技术来表示和存储产生式规则表示的专家知识的方法，较好地解决了知识的存储和管理问题 。同时，利用关系数据库中实体间的关系，很容易将分散存储的规则元素组合成规则供推理 时使用。在分析了大坝安全监控专家系统知识特点的基础上举例说明了用关系数据库表 示产生式规则的具体方法。